tools-xenmon-install.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:31 +0000 (11:47 +0200)
committerIan Campbell <ijc@debian.org>
Tue, 9 Feb 2016 16:41:16 +0000 (16:41 +0000)
commit6caaf37928e87e7ac9329ed76fb7304aba9512d1
treeda5fbfef0690109e8d67fc62d35725a6c5055a45
parentb5549b650dadc3ebc23ad6686c567a61834773f4
tools-xenmon-install.diff

Patch-Name: tools-xenmon-install.diff

Gbp-Pq: Name tools-xenmon-install.diff
tools/xenmon/Makefile